Zoolexicon. Compiled by Warren Garst.

Compiled and Edited By

Compiled Visual Programs by VisPro

VisPro is a general-purpose visual language generation system based on Reserved Graph Grammar (RGG). It is also the execution environment of visual programming languages (VPLs) developed under the VisPro system. However, due to the lack of compilation facilities, VisPro could only generate simple interpreted VPLs. We have developed a compilation mechanism for VisPro to implement compiled visual...

Bibliography Compiled by Daniel Richter

RATING SYSTEMS AND LEARNING by WARREN

A compiled implementation of normalisation by evaluation

We present a novel compiled approach to Normalisation by Evaluation (NBE) for ML-like languages. It supports efficient normalisation of open λ-terms with respect to β-reduction and rewrite rules. We have implemented NBE and show both a detailed formal model of our implementation and its verification in Isabelle. Finally we discuss how NBE is turned into a proof rule in Isabelle.